first countability

[数] 第一可数性